Reasoning system - PDFSEARCH.IO - Document Search Engine

Reasoning system
Results: 468

#	Item
411	SATISFIABILITY-BASED PROGRAM REASONING AND PROGRAM SYNTHESIS by Saurabh Srivastava 1 Revised Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-10-26 18:47:17 Formal methods Logic in computer science Electronic design automation Constraint programming Satisfiability Modulo Theories Reasoning system Formal verification Solver Algorithm Theoretical computer science Applied mathematics Mathematics
412	AAAI[removed]Spring Symposium Series March 26 – 28, 2001 Stanford University, California Add to Reading List Source URL: www.aaai.org Language: English - Date: 2008-12-15 18:42:06 Emerging technologies Computational neuroscience Knowledge engineering Automated theorem proving Reasoning system Ambient intelligence Applications of artificial intelligence Actor model Intelligence Science Artificial intelligence Knowledge
413	sss09participation.qxd:SSSParticipation Add to Reading List Source URL: www.aaai.org Language: English - Date: 2008-12-19 01:01:31 Ontology Social Semantic Web Web 2.0 World Wide Web Cyc Ambient intelligence Reasoning system Human–robot interaction AI winter Artificial intelligence Science Semantic Web
414	AAAI[removed]Spring Symposium Series March 27 – 29, 1995 Stanford University, California Add to Reading List Source URL: www.aaai.org Language: English - Date: 2008-12-15 18:43:50 Educational psychology Knowledge representation and reasoning Reasoning Scientific modeling Cognitive science System Psychology Planner Academic conference Science Knowledge Education
415	Research Report ConicIT: Automated Reasoning to Troubleshoot Mainframe Problems Executive Summary Executives at ConicIT, a computer management software maker, see their product as a“behavioral management solution for s Add to Reading List Source URL: www.sdsusa.com Language: English - Date: 2013-12-18 16:01:52 Business Mainframe computer Predictive analytics Analytics System programming Computing Business intelligence Formal sciences Statistics
416	Choosing the Best Knowledge Base System for Large Semantic Web Applications Yuanbo Guo Zhengxiang Pan Add to Reading List Source URL: www.cse.lehigh.edu Language: English - Date: 2004-05-03 09:41:50 Data Query language RDF query language Ontology Knowledge representation and reasoning Sesame Semantic Web Information Computing
417	Antikörperkatalog der fzmb GmbH Table of Contents Add to Reading List Source URL: www.fzmb.de Language: English - Date: 2013-09-30 05:20:17 Glycoproteins Peptidase PMSG Matrix metalloproteinase Monoclonal antibodies MMP9 Clone Immunoglobulin G Mathematics Mechanization and Automated Reasoning Platform Biology Immune system Immunology
418	Psychological Bulletin 1996, Vol[removed]No. I, 3-22 Add to Reading List Source URL: www.mindstalk.net Language: English - Date: 2006-02-18 23:15:47 Ethology Reasoning system Mental model Reason Psychology of reasoning Analogy Inference Logic Connectionism Science Reasoning Knowledge
419	The Belief-Desire-Intention Model of Agency Michael Georgeff Barney Pell† Martha Pollack‡ Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2002-02-05 06:15:01 Science Cognitive architecture Belief–desire–intention model Procedural reasoning system Belief–desire–intention software model Michael Georgeff Soar Reasoning system Intelligent agent Artificial intelligence Multi-agent systems Computing
420	A Rule-Based Inference Engine which is Optimal and VLSI Implementable N. L. Griffin and F. D. Lewis Add to Reading List Source URL: www.cs.uky.edu Language: English - Date: 2001-02-04 18:03:46 Knowledge Decision theory Rule engines Reasoning Inference engine Forward chaining Inference Rule-based system KEE Expert systems Science Artificial intelligence